* configure.in: Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Wed, 29 Jun 2011 03:21:14 +0000 (20:21 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 29 Jun 2011 03:21:14 +0000 (20:21 -0700)
commit1f81675ab874a2b2804a358ff3fbb23928d23cfe
treeb28b53da7b483cd5ea11371546624bf40e20ba22
parent8e2089f3d008518337c44876c9c489ce64259e50
* configure.in: Tweak previous change.
configure.in